Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
901	Subtypes and Subclasses[removed]Lecture 14 Fall 2005 Add to Reading List Source URL: ocw.mit.edu Language: English - Date: 2013-01-12 08:13:31 Type theory Computer programming Polymorphism Data types Subtype polymorphism Covariance and contravariance EXPRESS Java E Software engineering Computing Object-oriented programming
902	Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-05-16 06:05:46 Theoretical computer science Data types Computing Models of computation Formal methods Subtype polymorphism Lambda calculus Type system Polymorphism Software engineering Type theory Object-oriented programming
903	Theory and Applications of Categories, Vol. 26, No. 27, 2012, pp. 743–767. TANGLED CIRCUITS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2012-12-02 14:26:26 Mathematics Frobenius algebra Braided monoidal category Monoidal functor PRO Monoid Dual object Center Lie algebra Monoidal categories Algebra Category theory
904	STRUCTURALISM, MATHEMATICAL Add to Reading List Source URL: www.tc.umn.edu Language: English - Date: 2010-01-13 16:46:14 Philosophy of mathematics Philosophers of mathematics Structuralism Analytic philosophers Formal systems Mathematical object Paul Benacerraf Stewart Shapiro Set theory Mathematics Philosophy Mathematical logic
905	JOURNAL OF OBJECT TECHNOLOGY Online at www.jot.fm. Published by ETH Zurich, Chair of Software Engineering ©JOT, 2003 Add to Reading List Source URL: www.jot.fm Language: English - Date: 2007-08-10 10:58:56 Software engineering Object-oriented programming Object-relational mapping Database models Database theory Object database Object-oriented design Relational database Database Computing Data management Database management systems
906	The Essence of the Visitor Pattern Jens Palsberg1 1 Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2004-11-28 00:43:21 Software design patterns Data types Object-oriented programming Functional programming Visitor pattern Type theory Polymorphism Design Patterns Object Software engineering Computing Computer programming
907	Labeling Images with a Computer Game Luis von Ahn and Laura Dabbish School of Computer Science Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-01-12 16:29:24 Internet search engines Pattern recognition Image retrieval Labeling theory Object recognition Bing Label World Wide Web Graphics Interchange Format Computer vision ESP game Image search
908	これはC++ Reportに掲載した私の Engineering Nodebookの2番目の記事です Add to Reading List Source URL: www2.ocn.ne.jp Language: English - Date: 2004-07-31 12:13:26 Type theory Quadrilaterals Liskov substitution principle Computer programming Rectangle Golden ratio Method overriding Object-oriented programming Geometry Software engineering
909	Julian Cole—Buffalo State College—Mathematical Structuralism Today—February 21, 2010 Mathematical Structuralism Today Add to Reading List Source URL: www.buffalostate.edu Language: English - Date: 2010-02-21 15:22:25 Philosophy of mathematics Structuralism Formal systems Branches of philosophy Mathematical structures Category theory Mathematical object Mathematical logic Model theory Mathematics Philosophy Abstraction
910	The Cool Reference Manual∗ Contents Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-29 18:48:08 Type theory Data types Object-oriented programming C++ Polymorphism Objective-C Constructor Type system C Sharp Software engineering Computing Computer programming